Les Albums plurilingues ÉLODiL pour soutenir l’enseignement à distance

Théorèmes limites pour les processus de Markov à sauts

RÉSUMÉ. Les processus de Markov à sauts permettent la modélisation des phénomènes stochastiques en biologie moléculaire. Néanmoins, il y a peu de résultats mathématiques sur la dynamique de ces processus. De plus, leur simulation sur ordinateur rencontre des difficultés dues au temps d’exécution. Nous présentons des résultats permettant de réduire la complexité de la dynamique stochastique. Ces...

Un langage d'interrogation à la SPARQL pour les graphes conceptuels

Résumé. Cet article propose un langage générique d’interrogation pour le modèle des graphes conceptuels. D’abord, nous introduisons les graphes d’interrogation. Un graphe d’interrogation est utilisé pour exprimer un « ou » entre deux sous-graphes, ainsi qu’une « option » sur un sous-graphe optionnel. Ensuite, nous proposons quatre types de requêtes (interrogation, sélection, description et cons...

Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Modern embedded systems have reached a level of complexity such that it is no longer possibleto wait for the first physical prototypes to validate choices on the integration of hardware andsoftware components. It is necessary to use models, early in the design flow. The work presentedin this document contribute to the state of the art in several domains.First, we present some ve...

Un ADL pour les Architectures Distribuées à Composants Hétérogènes

Résumé. Dans cet article, nous présentons un ADL pour les architectures à composants hétérogènes et distribuées, et son utilisation au moment du déploiement. Actuellement, il n’existe pas de solution générique pour déployer une architecture distribuée basée sur différents intergiciels. Pour répondre à cette problématique, nous proposons dans cet article une approche pour décrire une telle archi...

Une démarche dirigée par les modèles pour construire les machines de déploiement des intergiciels à composants